D. W. Mertz provides a "new" competitor in the universals debate by reviving, developing, and defending the medieval doctrine of Moderate Realism. This book is a substantial contribution to ontology and logic, combining interesting new arguments for polyadic relations and unit attributes, careful and thorough historical studies, and a logic that could solve many old problems.

Central to Elements is an assay of the attributional union properties and relations have with their subjects, a topic historically left metaphorical. The work critiques eight Aristotelian assumptions concerning attribute dependence and ‘inherence’, per se subjects, attributes as agent-organizers, and unity-by-a-shared-one. Groups of these assumptions are seen to yield contradiction, vicious regress, or other problems. This analysis, joined with insights from an assay of ubiquitous structure, motivate ten theses explicating attribution and its primary ontic status. The theses detail: attributes proper (...) as individuated instances, structure as instance-generated facts and their two forms of composition, the conditioning role and universal nature of instances’ component intensions, the primacy of attribute instances for generating all forms of composition and complex entities, and identity and indiscernibility criteria for the latter. Principal is the insight that attribution is intension-determined combinatorial agency. It is its systematizing implications that provide solutions to classic problems, e.g., Composition, Individuation, and Universals, and in net generate a comprehensive one-category structuralist ontology. (shrink)

In a recent article [Mertz 2001] in this journal I argued for the virtues of a realist ontology of relation instances (unit attributes). A major strength of this ontology is an assay of ontic ('material') predication that yields an account of individuation without the necessity of positing and defending 'bare particulars'. The crucial insight is that it is the unifying agency or combinatorial aspect of a relation instance as predicable that is for ontology the principium individuationis [Mertz 2002; 1996]. Or (...) in short, what is ontically predicable, precisely as such, is the cause of individuation. As a preface to this positive doctrine I offered arguments against the coherence of bare particulars as defended in an article by J. P. Moreland [1998]. In a reply contained in this issue Moreland and Timothy Pickavance (hereafter M/P) propose to answer my objections [2002]. The response that follows provides reasons why, I contend, M/P have not succeeded in parrying my objections to bare particulars. (shrink)

Primary to both ontology and epistemology is the attributional union that properties and relations have with their subjects. Yet, the tradition’s understanding of attribution has been assessed as shallow, and its contemporary analysis deemed locked in a non-progressing stalemate. Central here is the historically dominant __in___herence_/_constituent_ construal of attribution, what, I argue, has remained obscure and unattended as to its background assumptions and their implications. On the analysis offered herein, I make precise and detail errors of the defining assumptions of (...) inherence theory and the _two-tiered nature_ it requires of attribution. Brought into relief will be the four elements involved in every attributional union, and what are the errors in a sequence of collapsing identities among them that define inherence theory. Along the way, clarification and warrant is provided for the alternative theses and their implications defining an __ad___herence_ theory of attribution, key features synopsized in the last section. (shrink)

An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The power of PPL is illustrated (...) by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)